Computation of Non-commutative Gröbner Bases in Grassmann and Clifford Algebras

Tensor, Clifford and Grassmann algebras belong to a wide class of non-commutative algebras that have a Poincaré-Birkhoff-Witt (PBW) “monomial” basis. The necessary and sufficient condition for an algebra to have the PBW basis has been established by T. Mora and then V. Levandovskyy as the so called “non-degeneracy condition”. This has led V. Levandovskyy to a re-discovery of the so called G-algebras (previously introduced by J. Apel) and GR-algebras (Gröbner-ready algebras). It was T. Mora who already in the 1990s considered a comprehensive and algorithmic approach to Gröbner bases for commutative and non-commutative algebras. It was T. Stokes who eighteen years ago introduced Gröbner left bases (GLB) and Gröbner left ideal bases (GLIB) for left ideals in Grassmann algebras, with the GLIB bases solving an ideal membership problem. Thus, a natural question is to first seek Gröbner bases with respect to a suitable admissible monomial order for ideals in tensor algebras T and then consider quotient algebras T/I. It was shown by Levandovskyy that these quotient algebras possess a PBW basis if and only if the ideal I has a Gröbner basis. Of course, these quotient algebras are of great interest because, in particular, Grassmann and Clifford algebras of a quadratic form arise this way. Examples of G-algebras include the quantum plane, universal enveloping algebras of finite dimensional Lie algebras, some Ore extensions, Weyl algebras and their quantizations, etc. Examples of GR-algebras, which are either G algebras or are isomorphic to quotient algebras of a G-algebra modulo a proper two-sided ideal, include Grassmann and Clifford algebras. After recalling basic concepts behind the theory of commutative Gröbner bases, a review of the Gröbner bases in PBW algebras, G-, and GR-algebras will be given with a special emphasis on computation of such bases in Grassmann and Clifford algebras. GLB and GLIB bases will also be computed. Mathematics Subject Classification (2000). Primary 15A66, 15A75; Secondary 13P10, 16P40.